<%@ page language="java" contentType="text/html; charset=UTF-8" pageEncoding="UTF-8" %>
<script type="text/javascript">
    var punchMach_data = [
        {id: 1, name: "上船"},
        {id: 2, name: "下船"},
        {id: 3, name: "上下船"}
    ];
    function getPunchMachTypeName(punchMachType) {
        for (var i = 0; i < punchMach_data.length; i++) {
            if (punchMachType == punchMach_data[i].id) {
                return punchMach_data[i].name;
            }
        }
        return '未知类型';
    }
</script>